2.15 Reversal law of inverses